Section: New Results
Formalizing computational analysis
Participants : Laurent Théry, Florian Steinberg [Inria Saclay, Toccata project-team] , Holger Thies [Kyushu University, Fukuoka] .
Florian Steinberg, Holger Thies, and Laurent Théry have been working on formalizing computational analysis. This work is described in a paper to be submitted for publication [13]. A shorter version was published in a conference [9].